fx : v == f  x : v 

latex

---

clarification:

fpf-add-single(eq; f; x; v) == fpf-join(eq;f;x : v) 

latex

Definitions	f  g, x : v
FDL editor aliases	fpf-add-single